-- ==
-- input {
-- }
-- output {
--   52i64
-- }
-- structure { Replicate 0 }
def getInt () : i64 = if ((1 - 1) * 3 + (3 / 3 - 1) == 0) then (15 / 3) * 2 else 10000000
def plus1 [n] (x: [n]i64) = map (\(y: i64) : i64 -> y + 1) x

def main : i64 =
  let n = getInt ()
  -- Int
  let x = iota (n)
  -- [#n]Int
  let m = (n * 1) + (n * 0)
  -- n :: Int
  let y = replicate m x
  -- [#n][#n]Int
  let u = map plus1 y
  -- [#n][#n]Int
  let z = replicate (m + n) y
  -- [[#n][#n]Int,m+n]
  let v = u[m / 2 - 1]
  -- [#n]Int
  let o = (m + (2 - 4 / 2)) * 1
  -- n :: Int
  let q = z[m / 2]
  -- [#n][#n]Int
  let t = q[m / 3, m / 4]
  -- n/4 :: Int
  let w = x[m - n / 2]
  -- n-n/2 :: Int
  let s = v[3]
  -- u[m+n/2,3] :: Int
  in x[m * n / n - 1] + y[o - 1, if (o * (3 - 3) == 0) then o - 1 else m * n * o] + u[0, m - n]
     + z[(1 + 3) / m, if (false || o * (3 + (-9) / 3) == 0) then 3 / 5 else (4 + 2) / 3, (m * 1) / 2]
     + s
     + t
     + q[0, n * 1 - 1]
     + o
     + v[2]
     + (m - n + 0)
